Avoiding Vicious Circles

Vicious Circles of Care

So often the mentally abnormal offender shuffles from Prison to mental hospitals, which he may have only ( JUst left a few weeks before, to pass into the hands of | *his mythical community care. As the number of hospital beds decreases, psychil atric patients, who have spent a greater part of their j 1'ves in the supportive, protective care of the mental hospital, leave to return into the world...

Vicious Circles in Disease

Vicious Circles in Rewriting Systems

We continue our study of the difference between Weak Normalisation (WN) and Strong Normalisation (SN). We extend our earlier result that orthogonal TRSs with the property WN do not admit cyclic reductions, into three distinct directions: (i) to the higher-order case, where terms may contain bound variables, (ii) to the weakly orthogonal case, where rules may have (trivial) conflicts, and (iii) ...

Avoiding vicious circles: mineralocorticoid receptor antagonism prevents vascular oxidative stress early after myocardial infarction.

Oxidative stress is thought to play a key role in the initiation and progression of cardiovascular diseases. Increased formation of reactive oxygen species (ROS) leads to endothelial dysfunction through the breakdown of NO, promotes proinflammatory gene expression, and increases the sympathetic tone. A multitude of stimuli including inflammation, cardiovascular risk factors like hypertension an...

Vicious Circles in Orthogonal Term Rewriting Systems

In this paper we first study the difference between Weak Normalization (WN) and Strong Normalization (SN), in the framework of first order orthogonal rewriting systems. With the help of the Erasure Lemma we establish a Pumping Lemma, yielding information about exceptional terms, defined as terms that are WN but not SN. A corollary is that if an orthogonal TRS is WN, there are no cyclic reductio...